Universal Plug and Play Machine Models
نویسندگان
چکیده
We present a high-level executable specification for the Universal Plug and Play (UPnP) standard illustrating the use of Abstract State Machine (ASM) technology as a practical tool for applied systems engineering. The concept of distributed real-time ASM allows us to combine both synchronous and asynchronous execution models in one uniform model of computation.
منابع مشابه
An Abstract Communication Model
We present an abstract communication model. The model is quite general even though it was developed in the process of specifying a particular network architecture, namely the Universal Plug and Play (UPnP) architecture. The generality of the model has been confirmed by its reuse for different architectures. The model is based on distributed abstract state machines and implemented in the specifi...
متن کاملHigh-Level Executable Specification of the Universal Plug and Play Architecture
Recently, Microsoft took a lead in the development of a standard for peer-to-peer network connectivity of various intelligent appliances, wireless devices and PCs. It is called the Universal Plug and Play Device Architecture (UPnP). We construct a high-level Abstract State Machine (ASM) model for UPnP using AsmL. AsmL is an advanced ASM-based executable specification language that has been deve...
متن کاملHigh-Level Executable Specification of the UPnP Architecture
Recently, Microsoft took a lead in the development of a standard for peer-to-peer network connectivity of various intelligent appliances, wireless devices and PCs. It is called the Universal Plug and Play Device Architecture (UPnP). We construct a high-level Abstract State Machine (ASM) model for UPnP using AsmL. AsmL is an advanced ASM-based executable specification language that has been deve...
متن کاملUPnP AV Architecture - Generic Interface Design and Java Implementation
This paper describes the UniRo Universal Plug and Play (UPnP) Audio Video (AV) stack that was implemented in Java programming language. The UniRo UPnP AV Stack is a software component that can be used to develop AV applications (MediaServer, MediaRenderer, and AV Control Points). The AV interfaces form the core of this component. They provide a typing layer to access AV devices and AV services....
متن کاملMixed Mode Cascaded Classification Models
We present here Mixed Mode Cascaded Classification Models, an algorithmic framework that seeks to effectively solve a wide range of machine learning tasks in a “plug and play” manner. It does this by sharing predictions between machine learning tasks, thus giving each task additional high-level information that can be used to solve its specific problem. We consider here a specific implementatio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002